Find statement progressions with arguments 
- eliminate rule progressions with equivalent arguments